Ходаков, В.Е.; Граб, М.В.
(2004)
У статті запропоновано використання алетичної модальної логіки на базі семантики можливих „світів” Кріпке для
моделювання динаміки лісових пожеж. Описано геометричну структуру зони пожежі у вигляді сукупності плоских і ...